constructive set theory造句

例句与造句

1. Other researchers have also modeled parametric polymorphism within constructive set theories.
2. Thus the axiom of choice is not generally available in constructive set theory.
3. It is generally considered uncontroversial, although constructive set theory prefers a weaker version to resolve concerns about predicativity.
4. Bounded quantifiers are important in Kripke-Platek set theory and constructive set theory, where only predicative grounds.
5. These include the program of intuitionism founded by constructive set theories such as IZF and the study of topos theory.
6. It's difficult to find constructive set theory in a sentence. 用constructive set theory造句挺难的
7. While the earliest results were for constructive theories of arithmetic, many results are also known for constructive set theories ( Rathjen 2005 ).
8. Modern constructive set theory includes the axiom of infinity from ZFC ( or a revised version of this axiom ) and the set of natural numbers.
9. Some constructive set theories include weaker forms of the axiom of choice, such as the axiom of dependent choice in Myhill's set theory.
10. A cause for this difference is that the axiom of choice in type theory does not have the extensionality properties that the axiom of choice in constructive set theory does.
11. In constructive set theory, Myhill is known for proposing an axiom system that avoids the axiom of choice and the law of the excluded middle, known as Intuitionistic Zermelo Fraenkel.
12. He also developed a constructive set theory based on natural numbers, functions, and sets, rather than ( as in many other foundational theories ) basing it purely on sets.
13. Some results in constructive set theory use the axiom of countable choice or the axiom of dependent choice, which do not imply the law of the excluded middle in constructive set theory.
14. Some results in constructive set theory use the axiom of countable choice or the axiom of dependent choice, which do not imply the law of the excluded middle in constructive set theory.
15. :: : : You awake the impression that all general set theories are naive and thus to be discarded and only the constructive set theories with its formalized axioms are not naive.
16. In constructive set theory, where the law of excluded middle does not necessarily hold, one can consider the relation'subquotient of'as replacing the usual order relation ( s ) on cardinals.
更多例句：  下一页